"Holger Hermanns" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Adjuna

Haupt Holger Hermann

Категория: fiction

3.38 Mb

#2

Adjuna

Haupt Holger Hermann

Категория: fiction

3.68 Mb

#3

Computer Aided Verification, 19 conf., CAV 2007

Werner Damm, Holger Hermanns

Категория: Cs_Computer science, CsLn_Lecture notes

7.71 Mb

#4

Lectures on Formal Methods and Performance Analysis, 1 school, 2000

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#5

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002

Holger Hermanns, Roberto Segala

Категория: Cs_Computer science, CsLn_Lecture notes

2.32 Mb

#6

Tools and Algorithms for the Construction and Analysis of Systems, 12 conf., TACAS 2006

Holger Hermanns, Jens Palsberg

Категория: Cs_Computer science, CsLn_Lecture notes

5.35 Mb

#7

CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006

Christel Baier, Holger Hermanns

Категория: Cs_Computer science, CsLn_Lecture notes

5.16 Mb

#8

Validation of Stochastic Systems - A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Категория: CsLn_

5.22 Mb

#9

Interactive Markov Chains

Holger Hermanns

2.64 Mb